- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by P. G. J. Vredenduin
21 found
Order:
- A system of strict implication.P. G. J. Vredenduin - 1939 - Journal of Symbolic Logic 4 (2):73-76.
- Bernays Paul. Logique et science. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 1–5. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
- Freudenthal Hans. Inhoudelijke interpretaties in de formele logica . Koninklijke Nederlandse Akademie van Wetenschappen, Verslag van de gewone vergaderingen der Afdeling Natuurkunde, vol. 62 , pp. 94–96. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
- Feys R.. Oudere en nieuwe modaliteitenlogica . Handelingen van het Negentiende Vlaamse Filologencongres, Brussels 1951, pp. 284–289. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
- Griss G. F. C.. Negationless intuitionistic mathematics II, III, IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 , pp. 456–463, and series A, vol. 54 , pp. 193–199, 452–471; also Indagationes mathematicae, vol. 12 , pp. 108–115, and vol. 13 , pp. 193–199, 452–471. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):296-297.
- Griss G. F. C.. Logic of negationless intnitionistic mathematics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 , pp. 41–49; also Indagationes mathematicae, vol.13 , pp. 41–49. [REVIEW]P. G. J. Vredenduin - 1955 - Journal of Symbolic Logic 20 (1):67-68.
- Griss G. F. C.. La mathématique iniuitioniste sans négation. Nieuw archief voor wishunde, ser. 3 vol. 3 no. 3 , pp. 134–142. [REVIEW]P. G. J. Vredenduin - 1957 - Journal of Symbolic Logic 22 (2):214-214.
- Heyting A.. G. F. C. Griss and his negationless intuitionistic mathematics. Synthese, vol. 9, issue 2 no. 2 , pp. 91–96. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
- Juhos Béla. Ein- und zweistellige Modalitäten. German, with summaries in German and English. Methodos, vol. 6 , pp. 69–83. [REVIEW]P. G. J. Vredenduin - 1957 - Journal of Symbolic Logic 22 (4):388-388.
- Marcus Ruth Barcan. Strict implication, deducibility, and the deduction theorem. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
- Review: A. Heyting, G. F. C. Griss and his Negationaless Intuitionistic Mathematics. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
- Béla Juhos. Ein- und zweistellige Modalitäten. German, with summaries in German and English. Methodos, vol. 6 , pp. 69–83. [REVIEW]P. G. J. Vredenduin - 1957 - Journal of Symbolic Logic 22 (4):388-388.
- Review: G. F. C. Griss, Negationless Intuitionistic Mathematics II, III, IV. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):296-297.
- Review: G. F. C. Griss, Logic of Negationless Intuitionistic Mathematics. [REVIEW]P. G. J. Vredenduin - 1955 - Journal of Symbolic Logic 20 (1):67-68.
- Review: G. F. C. Griss, La Mathematique Intuitioniste sans Negation. [REVIEW]P. G. J. Vredenduin - 1957 - Journal of Symbolic Logic 22 (2):214-214.
- Review: Hans Freudenthal, Meaningful Interpretations in Formal Logic. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
- Review: Naoto Yonemitsu, A Note on Systems of Logical Implication. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (3):327-327.
- Review: Naoto Yonemitsu, A Decision Method and a Topological Interpretation for Systems of Logical Implication. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (3):326-327.
- Review: Paul Bernays, Logique et Science. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.Export citation
Bookmark - Review: R. Feys, Old and New Logic of Modalities. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
- Yonemitsu Naoto. A decision method and a topological interpretation for systems of logical implication. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 3 , pp. 6–20. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (3):326-327.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-pjbg5 uwo